Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
701	Safety Verification of Autonomous Vehicles for Coordinated Evasive Maneuvers Matthias Althoff, Daniel Althoff, Dirk Wollherr and Martin Buss Abstract— The verification of evasive maneuvers for autonomous vehicles drivi Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2013-10-23 12:09:25
702	Deterministic Part-of-Speech Tagging with Finite-State Transducers Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-24 08:57:24 Theoretical computer science Natural language processing Computational linguistics Brill tagger Part-of-speech tagging Finite state transducer Finite-state machine Trigram tagger Brown Corpus Linguistics Automata theory Models of computation
703	Fast Approximate Search in Large Dictionaries Stoyan Mihov∗ Klaus U. Schulz† Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-20 11:46:47 Models of computation Computer science Mathematics Combinatorics on words Dynamic programming Levenshtein distance Levenshtein transducer Finite state transducer Regular language Automata theory Formal languages Theoretical computer science
704	emPHPower Advocacy Brainstorming Lukas Smith ([removed]) IPC 08 Spring Edition in Karlsruhe emPHPower Add to Reading List Source URL: pooteeweet.org Language: English - Date: 2008-06-01 14:09:05 DEVS PHP Core X Window System SP-DEVS Finite & Deterministic Discrete Event System Specification Automata theory Software Computing
705	The Boost Statechart Library - Rationale Page 1 of 10 The Boost Statechart Library Add to Reading List Source URL: www.boost.org Language: English - Date: 2007-11-25 13:38:02 Computer programming UML diagrams Automata theory Digital electronics Programming paradigms UML state machine State diagram Finite-state machine Exception handling Computing Software engineering Models of computation
706	Expressiveness of streaming string transducers Rajeev Alur1 and Pavol Černý[removed]University of Pennsylvania Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-12-13 12:13:47 Theoretical computer science Software engineering Models of computation Data types Primitive types Finite state transducer Finite-state machine Regular language String Formal languages Automata theory Mathematics
707	The Theory of Trackability with Applications to Sensor Networks VALENTINO CRESPI California State University at Los Angeles GEORGE CYBENKO Dartmouth College Add to Reading List Source URL: www.dartmouth.edu Language: English - Date: 2011-02-03 16:20:33 Matrix Wireless sensor network Büchi automaton Finite-state machine Computing Technology Mathematics Automata theory Models of computation Deterministic finite automaton
708	Error-tolerant Finite-state Recognition with Applications to Morphological Analysis and Spelling Correction Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-20 11:43:28 Theoretical computer science Grammar Finite state transducer Formal grammar Finite-state machine Morphology Computer science Linguistics Formal languages Automata theory Models of computation
709	Realizability is controllability Niels Lohmann and Karsten Wolf Universit¨ at Rostock, Institut f¨ ur Informatik,  Rostock, Germany {niels.lohmann, karsten.wolf}@uni-rostock.de Add to Reading List Source URL: CEUR-WS.org Language: English - Date: 2009-02-24 07:57:14 Deterministic finite automaton Finite-state machine Automata theory Models of computation Realizability
710	Finite-State Non-Concatenative Morphotactics Kenneth R. Beesley and Lauri Karttunen [removed], [removed] arXiv:cs.CL[removed]v1 30 Jun 2000 Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-02-15 07:09:25 Computing Combinatorics Models of computation Grammar Combinatorics on words Finite state transducer String Regular language Finite-state machine Formal languages Automata theory Linguistics

UPDATE